#!/bin/bash

FILE="typecheck.out"
if test -f ./$FILE ; then
	rm ./$FILE
fi

for t in "01" "01a" "01b" "02" "02a" "02b" "03" "03a" "04a" "04b" "05" "05a" "05b" "06a" "06b" "06c" "07" "08";
do
	echo -e "----------------------------------------------------------" >>$FILE
	echo -e "-------------TypeCheck of input file: in$t----------------" >>$FILE
	echo -e "-------------TypeCheck of input file: in$t----------------" 
	echo -e "----------------------------------------------------------\n" >>$FILE
	./demo -t test/in$t >>$FILE 2>&1

done

